Nuprl Definition : receives
0,22
postcript
pdf
receives(
dE
;
dL
;
pred?
;
info
;
p
;
e
;
l
)
== filter(
r
.rcv-from-on(
dE
;
dL
;
info
;
e
;
l
;
r
);eventlist(
pred?
;sends-bound(
p
;
e
;
l
)))
latex
Definitions
sends-bound(
p
;
e
;
l
)
,
eventlist(
pred?
;
e
)
,
rcv-from-on(
dE
;
dL
;
info
;
e
;
l
;
r
)
,
filter(
P
;
l
)
,
receives(
dE
;
dL
;
pred?
;
info
;
p
;
e
;
l
)
FDL editor aliases
receives
origin
r.rcv-from-on(dE;dL;info;e;l;r);eventlist(pred?;sends-bound(p;e;l))) r.rcv-from-on(dE;dL;info;e;l;r);eventlist(pred?;sends-bound(p;e;l)))